home *** CD-ROM | disk | FTP | other *** search
/ Enter 2005 October / enter-2005-10.iso / files / jedit42install.exe / {app} / macros / Interface / Increase_Font_Size.bsh < prev    next >
Encoding:
Text File  |  2004-08-29  |  963 b   |  39 lines
  1. /*
  2. * Increase_Font_Size.bsh - a BeanShell macro for the jEdit text
  3. * editor - Increases editor & gutter font size by 1.
  4. *
  5. * Copyright (C) 2003 Ollie Rutherfurd <oliver@rutherfurd.net>
  6. *
  7. * $Id: Increase_Font_Size.bsh,v 1.3 2003/12/23 02:15:05 spestov Exp $
  8. */
  9.  
  10. increaseFontSize()
  11. {
  12.     FONT_SIZE = "view.fontsize";
  13.     GUTTER_FONT_SIZE = "view.gutter.fontsize";
  14.     CONSOLE_FONT_SIZE = "console.fontsize";
  15.     size = jEdit.getIntegerProperty(FONT_SIZE,12) + 1;
  16.     jEdit.setIntegerProperty(FONT_SIZE,size);
  17.     jEdit.setIntegerProperty(GUTTER_FONT_SIZE,size);
  18.     jEdit.setIntegerProperty(CONSOLE_FONT_SIZE,size);
  19.     jEdit.propertiesChanged();
  20.     jEdit.saveSettings();
  21.     view.getStatus().setMessageAndClear("Font size now " + size);
  22. }
  23.  
  24. increaseFontSize();
  25.  
  26. /*
  27.  
  28.     Macro index data (in DocBook format)
  29.  
  30. <listitem>
  31.     <para><filename>Increase_Font_Size.bsh</filename></para>
  32.     <abstract><para>
  33.         Increases the font size in the gutter and text area by 1 point.
  34.     </para></abstract>
  35. </listitem>
  36.  
  37. */
  38.  
  39.